首页> 外文OA文献 >Dynamic Verification of Sequential Consistency

【2h】

Dynamic Verification of Sequential Consistency

机译：顺序一致性的动态验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Dynamic Verification of Sequential Consistency [J] . Albert Meixner, Daniel J. Sorin Computer architecture news . 2005,第2期

机译：顺序一致性的动态验证
2. Verifying sequential consistency on shared-memory multiprocessors by model checking [J] . Qadeer S. IEEE Transactions on Parallel and Distributed Systems . 2003,第8期

机译：通过模型检查来验证共享内存多处理器上的顺序一致性
3. Automatable Verification of Sequential Consistency [J] . Anne E. Condon, Alan J. Hu Theory of computing systems . 2003,第5期

机译：顺序一致性的自动验证
4. Dynamic Verification of Sequential Consistency [C] . Albert Meixner, Daniel J. Sorin, PAlbert Meixner, Annual international symposium on Computer Architecture;International symposium on Computer Architecture . 2005

机译：顺序一致性的动态验证
5. Supporting Sequential Consistency through Ordered Network in Many-Core Systems [D] . Venkataraman, Hariharasudhan. 2017

机译：通过在许多核心系统中通过有序网络支持顺序一致性
6. Consistency in electronic portal imaging registration in prostate cancer radiation treatment verification [O] . Eric Berthelet, Pauline T Truong, Sergei Zavgorodni, 2006

机译：前列腺癌放射治疗验证中电子门禁成像配准的一致性
7. Dynamic Verification of Sequential Consistency [O] . 2008

机译：序贯一致性的动态验证
8. Efficient Verification of Periodic Programs Using Sequential Consistency and Snapshots. [R] . Chaki, S., Gurfinkel, A., Sinha, N. 2014

机译：使用顺序一致性和快照有效验证周期性程序。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号